(declare-fun _substvar_23_ () Real)
(declare-fun _substvar_24_ () Real)
(declare-const i7 Int)
(push)
(assert (< 49 i7))
(assert (> _substvar_24_ 0.0 (- 1888725.0 _substvar_23_)))
(check-sat)
